x = 1 - y + 15 - 01 + 0x124 + z + a[5]
